Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
741	University Controller (MCFixed Assets and Equipment Inventory Services North End Center, Suite 3400, Virginia Tech 300 Turner Street NW Blacksburg, Virginia6049 Fax: Add to Reading List Source URL: www.controller.vt.edu Language: English - Date: 2015-04-15 13:52:20 Electronic engineering Telecommunications engineering Systems theory Encodings Equipment of the United States Air Force Joint Electronics Type Designation System
742	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:49 Set theory Principia Mathematica Science Function Type theory Extensionality Zermelo–Fraenkel set theory Logicism Mathematics Mathematical logic Logic
743	When Consensus Hurts the Company Boards and top management teams often try to gain consensus about important decisions. New research offers insights into when that’s the right course, when it isn’t — and Add to Reading List Source URL: ilp.mit.edu Language: English - Date: 2015-04-07 17:27:20 Science Consensus decision-making Type I and type II errors MIT Sloan School of Management Decision making Omission Consensus Decision theory Ethics Knowledge
744	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing Software engineering Computer programming
745	Preprint Storage Strategies for Collections in Dynamically Typed Languages Carl Friedrich Bolz Add to Reading List Source URL: soft-dev.org Language: English - Date: 2015-06-08 15:52:11 Data types Primitive types Type theory PyPy Python Type system Pointer Reference Garbage collection Software engineering Computing Computer programming
746	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics
747	FOUR POSITIVE FORMULAE FOR TYPE A QUIVER POLYNOMIALS ALLEN KNUTSON, EZRA MILLER, AND MARK SHIMOZONO Abstract. We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton [BF99]. All Add to Reading List Source URL: www.math.duke.edu Language: English - Date: 2006-03-25 02:31:17 Symmetric functions Representation theory Orthogonal polynomials Schubert polynomial Algebraic geometry Young tableau Determinantal variety Quiver Polynomial Abstract algebra Algebra Mathematics
748	LearnSprout Data Model Version 1.0 LearnSprout Data Model - Confidential Add to Reading List Source URL: learnsprout-static.s3.amazonaws.com Language: English - Date: 2014-12-23 18:45:19 Nullable type Type theory Null Boolean data type Code Data Information Metadata
749	A dynamic virtual machine for the support of interoperable programming languages J. Baltasar García Perez-Schofield Francisco Ortín Soler Add to Reading List Source URL: bergel.eu Language: English - Date: 2010-06-09 14:53:04 Cross-platform software Type theory Programming language Strong typing Type system D Python Late binding C++ Software engineering Computing Computer programming
750	Runtime Instrumentation for Precise Flow-Sensitive Type Analysis Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-17 17:02:57 Computer programming Type theory Cross-platform software Procedural programming languages PHP programming language Type system C Pointer PHP Computing Software engineering Data types

UPDATE